KAHRS, STEFAN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Red-black trees with types

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 609 KB

english, 2001

2

Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback).

Journal:

Journal of Functional Programming

Year:

1998

Language:

english

File:

PDF, 117 KB

english, 1998

3

Analysis of associations between congenital heart defect complexity and health-related quality of life using a meta-analytic strategy

Kahr, Peter C., Radke, Robert M., Orwat, Stefan, Baumgartner, Helmut, Diller, Gerhard-Paul

Journal:

International Journal of Cardiology

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

4

Automatisierung und Optimierung von Anfahr-, Lastwechsel- und Batch-Prozessen

Dr. Stefan Krämer, Dr. Guido Dünnebier, Dr. Olaf Kahrs, Heiko Luft

Journal:

Chemie Ingenieur Technik

Year:

2011

File:

PDF, 576 KB

2011

5

SPIE Proceedings [SPIE SPIE Medical Imaging - Orlando, Florida, United States (Saturday 21 February 2015)] Medical Imaging 2015: Image-Guided Procedures, Robotic Interventions, and Modeling - Comparison of tablet-based strategies for incision planning in laser microsurgery

Webster, Robert J., Yaniv, Ziv R., Schoob, Andreas, Lekon, Stefan, Kundrat, Dennis, Kahrs, Lüder A., Mattos, Leonardo S., Ortmaier, Tobias

Year:

2015

Language:

english

File:

PDF, 1.17 MB

english, 2015

6

Value of Speckle-tracking Echocardiography and MRI-based Feature Tracking Analysis in Adult Patients after Fontan-type Palliation

Schmidt, Renate, Orwat, Stefan, Kempny, Aleksander, Schuler, Pia, Radke, Robert, Kahr, Peter C., Hellige, Antje, Baumgartner, Helmut, Diller, Gerhard-Paul

Journal:

Congenital Heart Disease

Year:

2014

Language:

english

File:

PDF, 465 KB

english, 2014

7

An improved TnMax mini-transposon system suitable for sequencing shuttle mutagenesis and gene fusions

Andreas F. Kahrs, Stefan Odenbreit, Wolfgang Schmitt, Dorothee Heuermann, Thomas F. Meyer, Rainer Haas

Journal:

Year:

1995

Language:

english

File:

PDF, 327 KB

english, 1995

8

Term Rewriting Systems by “Terese”, Cambridge University Press, 2003

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 29 KB

english, 2005

9

Adaptation of control structure design methods to an industrial plant engineering workflow

Hoeser, Stefan, Arora, Sachin, Koitka, Markus, Kleinert, Tobias, Kahrs, Olaf, Sebastia Saez, Daniel, Arellano-Garcia, Harvey

Journal:

Industrial & Engineering Chemistry Research

Year:

2017

Language:

english

File:

PDF, 711 KB

english, 2017

10

Durchgängige Nutzung von Prozessmodellen während des Prozesslebenszyklus: ein industrielles Fallbeispiel

David Müller, Dr.-Ing. Olaf Kahrs, Stefan Höser, Dr.-Ing. Harvey Arellano-Garica

Journal:

Chemie Ingenieur Technik

Year:

2012

Language:

german

File:

PDF, 1.16 MB

german, 2012

11

K-Ar ages from the Lower Seve Nappe, Mt. Åreskutan, Sweden

Welin, Eric, Claesson, Stefan, Kähr, Ann-Marie

Journal:

Geologiska Foereningan i Stockholm Foerhandlingar

Year:

1983

Language:

english

File:

PDF, 282 KB

english, 1983

12

Surface and catalyst driven singlet oxygen formation in Li-O2 cells

Samojlov, Aleksej, Schuster, David, Kahr, JÃ¼rgen, Freunberger, Stefan A.

Journal:

Electrochimica Acta

Year:

2020

File:

PDF, 62 KB

2020

13

Interfaces and extended ML

Kahrs, Stefan, Sannella, Donald, Tarlecki, Andrzej

Journal:

ACM SIGPLAN Notices

Year:

1994

Language:

english

File:

PDF, 563 KB

english, 1994

14

Echtzeitüberwachung der Position eines Cochlea-Implantats während der Insertion in ein Innenohrphantom

Thoben, Christian, Kahrs, Lüder A., Mueller, Samuel, Gaa, Johannes, Ortmaier, Tobias, Reinecke, Tobias, Martin, Josephine, Bakes, Kai, Zimmermann, Stefan

Journal:

tm - Technisches Messen

Year:

2017

File:

PDF, 1.24 MB

2017

15

Infinitary rewriting: meta-theory and convergence

Journal:

Acta Informatica

Year:

2007

Language:

english

File:

PDF, 342 KB

english, 2007

16

Color-encoded distance for interactive focus positioning in laser microsurgery

Schoob, Andreas, Kundrat, Dennis, Lekon, Stefan, Kahrs, Lüder A., Ortmaier, Tobias

Journal:

Optics and Lasers in Engineering

Year:

2016

Language:

english

File:

PDF, 8.41 MB

english, 2016

17

Infinitary rewriting: closure operators, equivalences and models

Journal:

Acta Informatica

Year:

2013

Language:

english

File:

PDF, 411 KB

english, 2013

18

[ACM Press the Workshop - Portland, Oregon, USA (1994..-..)] Proceedings of the Workshop on Interface Definition Languages - IDL '94 - Interfaces and extended ML

Kahrs, Stefan, Sannella, Donald, Tarlecki, Andrzej

Year:

1994

Language:

english

File:

PDF, 563 KB

english, 1994

19

[ACM Press the 8th annual conference - Seattle, Washington, USA (2006.07.08-2006.07.12)] Proceedings of the 8th annual conference on Genetic and evolutionary computation - GECCO '06 - Genetic programming with primitive recursion

Year:

2006

Language:

english

File:

PDF, 77 KB

english, 2006

20

The definition of Extended ML: A gentle introduction

Stefan Kahrs, Donald Sannella, Andrzej Tarlecki

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.95 MB

english, 1997

21

A one-dimensional coordination polymer formed by a 2:1 adduct of trifluoroacetic acid and its sodium salt

Stefan Spirk, Ferdinand Belaj, Jürgen Kahr, Rudolf Pietschnig

Journal:

Journal of Fluorine Chemistry

Year:

2009

Language:

english

File:

PDF, 418 KB

english, 2009

22

Confluence of Curried Term-Rewriting Systems

Journal:

Journal of Symbolic Computation

Year:

1995

File:

PDF, 721 KB

1995

23

Long-term natural history and postoperative outcome of double-chambered right ventricle—Experience from two tertiary adult congenital heart centres and review of the literature

Kahr, Peter C., Alonso-Gonzalez, Rafael, Kempny, Aleksander, Orwat, Stefan, Uebing, Anselm, Dimopoulos, Konstantinos, Swan, Lorna, Baumgartner, Helmut, Gatzoulis, Michael A., Diller, Gerhard-Paul

Journal:

International Journal of Cardiology

Year:

2014

Language:

english

File:

PDF, 326 KB

english, 2014

24

A Structural Comparison of Organoterminated Selenide, Diselenide, and Triselenide

Kahr, Jürgen, Moser, Carmen, Spirk, Stefan, Belaj, Ferdinand, Pietschnig, Rudolf

Journal:

Phosphorus Sulfur and Silicon and the Related Elements

Year:

2014

Language:

english

File:

PDF, 285 KB

english, 2014

25

DETERMINATION OF POROSITY AND PORE CONNECTIVITY IN FELDSPARS FROM SOILS OF GRANITE AND SAPROLITE

Dultz, Stefan, Behrens, Harald, Simonyan, Anna, Kahr, G??nter, Rath, Thomas

Journal:

Year:

2006

Language:

english

File:

PDF, 3.56 MB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски